Svagt matchande rim för extensional definition